More Equation Solving Strategies